61. Brain Informatics and Health
پدیدآورنده : \ Yike Guo, Karl Friston, Faisal Aldo, Sean Hill, Hanchuan Peng (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence,Neural networks (Computer Science),هوش مصنوعی,شبکههای عصبی (کامپیوتر),رباتها,-- Congresses,-- کنگرهها,a04,a06,a04,a06
رده :
QA
76
.
76
.
B5B7
2015
E-Book
,
62. CAD systems using AI techniques :proceedings of the IFIP TC 10/WG 10.2 Working Conference on CAD Systems Using AI Techniques, Tokyo, Japan,
پدیدآورنده : edited by G. Odawara
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer-aided design--Congresses,Artificial intelligence--Congresses,Expert systems (Computer science)--Congresses
رده :
TA
،
174
،.
I133
،
1989
63. CAD systems using AI techniques : proceedings of the IFIP TC 10/WG 10.2 Working Conference on CAD Systems Using AI Techniques, Tokyo, Japan, 6- 7 June 1989
پدیدآورنده : IFIP TC 01/WG 01.2 Working Conference on CAD Systems Using AI Techniques )9891 : Tokyo, Japan(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Computer- aided design- Congresses,، Artificial intelligence- Congresses,، Expert systems )Computer science(- Congresses
64. Case-based reasoning : research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, proceedings
پدیدآورنده : David B. Leake, Enric Plaza, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Case-based reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1266
65. Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings
پدیدآورنده : Klaus-Dieter Althoff, Ralph Bergmann, L. Karl Branting )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Case-based reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1650
66. Case-based reasoning : research and development : first international conference, ICCBR-95, Sesimbra, Portugal, October 23-26 : proceedings
پدیدآورنده : Manuela Voloso, Agnar Aamodt, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Case-based reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1010
67. Case-based reasoning research and development : 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005 : proceedings
پدیدآورنده : Hector Munoz-Avila, Francesco Ricci )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Case-based reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3620
68. Caseh-based reasoning research and development : 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30-August 2, 2001 : proceedings
پدیدآورنده : David W. Aha, Ian Watson )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Case-based reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2080
69. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
70. Computational Intelligence in Architecting Engineering Systems :
پدیدآورنده : editors, Cihan H. Dagli ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Neural networks (Computer science), Congresses
رده :
QA76
.
87
.
I55
2009
71. Computational intelligence and bioinspired systems : 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltru, Barcelona, Spain, June 8-10, 2005 : proceedings
پدیدآورنده : Joan Cabestany, Alberto Prieto, Francisco Sandoval )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Artificial intelligence,Congresses ، Neural networks )Computer science(,Congresses ، Computational neuroscience,Congresses ، Knowledge, Theory of
رده :
QA
76
.
L28
Vol
.
3512
72. Computational intelligence and intelligent systems :
پدیدآورنده : Kangshun Li, Wei Li, Zhangxing Chen, Yong Liu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Expert systems (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computational intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems (Computer science),Network hardware.
رده :
Q342
73. Computational science and technology :
پدیدآورنده : Rayner Alfred, Yuto Lim, Ag Asri Ag Ibrahim, Patricia Anthony, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Artificial Intelligence (incl. Robotics).,Big Data.,Communications Engineering, Networks.,Computer networks.,Computer science.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Information technology.
رده :
TK5105
.
5
74. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
75. Computer and Information Science 2015
پدیدآورنده : \ Roger Lee Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering,Artificial intelligence,مهندسی,هوش مصنوعی,a04,a05,a04,a05,Computer science -- Congresses.,علوم کامپیوتر -- کنگرهها
رده :
QA
75
.
5
.
C6
2016
E-Book
,
76. Computer and information sciences :
پدیدآورنده : Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Information technology, Congresses.,Artificial Intelligence.,Computer Communication Networks.,Information Systems and Communication Service.,Software Engineering.,System Performance and Evaluation.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Information technology.,Network hardware.,Software Engineering.,Systems analysis & design.
رده :
QA75
.
5
77. Computer-assisted and robotic endoscopy : First International Workshop, CARE 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014 : revised selected paper
پدیدآورنده : Xiongbiao Luo, Tobias Reichl, Daniel Mirota, Timothy Soper )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer-assisted surgery -- Congresses,، Artificial intelligence,، Computer graphics,، Computer science
رده :
TA
1634
.
X545
2014
78. Computing, analytics and networks :
پدیدآورنده : Rajnish Sharma, Archana Mantri, Sumeet Dua (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Network hardware.,Software Engineering.
رده :
QA75
.
5
79. Computing and Philosophy
پدیدآورنده : \ Vincent C. Muller, Editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Philosophy -- Congresses.,Artificial intelligence -- Philosophy -- Congresses., علوم کامپیوتر-- فلسفه-- کنگرهها,هوش مصنوعی-- فلسفه-- کنگرهها
رده :
QA
76
.
167
.
C66
2016
E-book
,